home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / theorems / pappus.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  1.3 KB  |  35 lines
  1. .geometry "version 0.1";
  2. v1 = .free(-0.915185, 0.212038, "L1");
  3. v2 = .free(0.928865, 0.463748, "L1");
  4. v3 = .free(-0.917921, -0.291382, "L2");
  5. v4 = .free(0.885089, -0.608755, "L2");
  6. l1 = .l.vv(v1, v2, .longline);
  7. l2 = .l.vv(v3, v4, .longline);
  8. v5 = .vonl(l1, -0.675157, 0.244801, .red, .plus);
  9. v6 = .vonl(l1, 0.683711, 0.430285, .red, .plus);
  10. v7 = .vonl(l1, -0.03211, 0.332576, .red, .plus);
  11. v8 = .vonl(l2, 0.098237, -0.47025, .red, .plus);
  12. v9 = .vonl(l2, 0.763544, -0.58736, .red, .plus);
  13. v10 = .vonl(l2, -0.346808, -0.391912, .red, .plus);
  14. l3 = .l.vv(v5, v9, .red);
  15. l4 = .l.vv(v9, v7, .red);
  16. l5 = .l.vv(v7, v10, .red);
  17. l6 = .l.vv(v10, v6, .red);
  18. l7 = .l.vv(v6, v8, .red);
  19. l8 = .l.vv(v8, v5, .red);
  20. v11 = .v.ll(l8, l5, .yellow);
  21. v12 = .v.ll(l3, l6, .yellow);
  22. v13 = .v.ll(l4, l7, .yellow);
  23. l9 = .l.vv(v11, v12, .yellow);
  24. l10 = .l.vv(v12, v13, .yellow);
  25. l11 = .l.vv(v13, v11, .yellow);
  26. .text("Pappus' Theorem:");
  27. .text("");
  28. .text("Given any hexagon whose vertices alternately lie on two lines,");
  29. .text("the intersections of the opposite sides of the hexagon all lie");
  30. .text("on a straight line.  The points L1, L2, ... control the lines,");
  31. .text("and the vertices of the hexagon are the red crosses.  The");
  32. .text("yellow points are the intersections of the opposite sides.  Move");
  33. .text("any of the red crosses, or the points L1, ... to illustrate the");
  34. .text("theorem.");
  35.